(function(){
	var reg1 = /[<]/g;
	var reg2 = /[>]/g;
	$("pre").each(function(){
		var t = $(this);
		var html = t.html();
		html = html.replace(reg1,"&lt;").replace(reg2,"&gt;");
		t.html(html);
	});
})();